|
|
Modelling Computing Systems
by Moller, Faron.
Publication:
. XVI, 500 p. 46 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Sets, Logic and Maths for Computing
by Makinson, David.
Publication:
. XXI, 283p. 17 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Proofs and Algorithms
by Dowek, Gilles.
Publication:
. VIII, 195p.
Availability:
Copies available:
AUM Main Library
(1),
|
|